package featuremodel.constraint;

import featuremodel.FeatureModelDef;
import featuremodel.method.RequireMethodSetUnbind;
import featuremodel.method.RequireMethodSetBind;
import skyblue.Constraint;
import skyblue.Strength;
import skyblue.Variable;

public class RequireConstraint extends Constraint{
	
	public RequireConstraint(Variable a, Variable b, Strength strength){
		
		super(strength);
		
		this.constraintType = FeatureModelDef.REQUIRE_CONSTRAINT;
		
		getVariables().add(a);
		getVariables().add(b);

		
		getMethods().add(new RequireMethodSetUnbind(a));
		getMethods().add(new RequireMethodSetBind(b));
		
	}
	


}
